🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Feeds to Scour
SubscribedAll
Scoured 1236 posts in 60.9 ms
A Validated Semantics for LLVM IR
sf.snu.ac.kr·9h
💻Programming languages
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·2h
⚡Comptime Programming
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·6h·
Discuss: Hacker News
📟Terminals
Preview
Report Post
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com·8h·
Discuss: r/LocalLLaMA
🪄Prompt Engineering
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu·57m
🧩Types
Preview
Report Post
someone, somewhere, asked me about why `postcard::to_stdvec` returns a result, if pushing to a Vec can never fail. I told them it was probably an oversight, b/c...
bsky.app·19h·
Discuss: Bluesky
🔒Borrow Checker
Preview
Report Post
How To Use LLM-Powered Coding Assistants Safely: Risks & Best Practices
xebia.com·8h·
Discuss: Hacker News
👨‍💻AI Coding
Preview
Report Post
Demystifying Fuzzer Behaviour (39c3)
cdn.media.ccc.de·6h
🎯Qdrant
Preview
Report Post
On (and Contra) Chalmers on LLM Interlocutors
benjamincongdon.me·14h
🪄Prompt Engineering
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.com·7h·
Discuss: Hacker News
⚙️Mechanical Sympathy
Preview
Report Post
Sudokuvania: Digits of Despair (v1.1.1) — Rätselportal
logic-masters.de·42m
🔐Escape Rooms
Preview
Report Post
Rendering the Mandelbrot Set on the C64
jamesphilbrick.bearblog.dev·21h
🗜️Vector Compression
Preview
Report Post
The Man Who Reimagined Math: David Deutsch And The Universal Quantum Computer
quantumzeitgeist.com·22h·
Discuss: Hacker News
🔐Cryptography
Preview
Report Post
The Unreasonable Effectiveness of an LLM Agent Loop with Tool Use
philz.dev·5h
🕳LLM Vulnerabilities
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·5h
📖Readability Algorithms
Preview
Report Post
Your Team Uses AI. Why Aren't You 10x Faster?
bits.logic.inc·1h·
Discuss: Hacker News
🏆LLM Benchmarking
Preview
Report Post
10 tools every developer needs in 2026
grokkingtechcareer.substack.com·7h·
Discuss: Substack
🔧Developer tools
Preview
Report Post
Kennedy Center Chief Threatens Legal Action Over Canceled Christmas Concert
nytimes.com
·15h
🏛️Politics
Preview
Report Post
US consumers map 2026 money goals and steps
kite.kagi.com·10h
💰Money and Power
Preview
Report Post
GameStop trolls Valve's Gabe Newell for his 'inability to count to three' — playful jab for never releasing a third installment for blockbuster game franchises like Half-Life, Dota, or Counter-Strike
tomshardware.com
·2h
🏠Small tech services
Preview
Report Post